A Survey of Formal Methods for Intelligent Swarms
نویسندگان
چکیده
منابع مشابه
Some Verification Issues at NASA Goddard Space Flight Center
NASA is developing increasingly complex missions to conduct new science and exploration. Missions are increasingly turning to multi-spacecraft to provide multiple simultaneous views of phenomena, and to search more of the solar system in less time. Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed to accomplish the goals of these new m...
متن کاملFormal Methods for Autonomic and Swarm-based Systems
Swarms of intelligent rovers and spacecraft are being considered for a number of future NASA missions. These missions will provide NASA scientist and explorers greater flexibility and the chance to gather more science than traditional single spacecraft missions. These swarms of spacecraft are intended to operate for large periods of time without contact with the Earth. To do this, they must be ...
متن کاملDecentralized K-means clustering with MANET swarms
Swarm intelligent systems are efficient, decentralized multiagent problem-solving systems that offer several advantages over centrally controlled systems. A swarm intelligent system self-organizes into a structure that is robust, scalable, adaptable, and computationally efficient. Swarm intelligent systems, or swarms, utilize emergence, where simple local behaviors distributed across many agent...
متن کاملDeductive verification of simple foraging robotic behaviours
Purpose – The purpose of this paper is to consider the logical specification, and automated verification, of high-level robotic behaviours. Design/methodology/approach – The paper uses temporal logic as a formal language for providing abstractions of foraging robot behaviour, and successively extends this to multiple robots, items of food for the robots to collect, and constraints on the real-t...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005